Fix the undefined variable issue in constraints

[yyyliu]

The current design of boba constraints has the following caveat:

"For placeholder variables, the decision is NOT made at the beginning, but until the placeholder variable first appears in the code. Any unmade decision will have option None and index -1."

This is really annoying and we should fix it.