Tests that the variable bindings consist only of bindings for options whose declaration precedes the p:option itself in the surrounding step signature.