A few small changes:
* renaming sequentialization variable.
* omitting branch to exit at procedure entry.
* translating values to false in model parsing.
* better trace printing.