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