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