Better scope optimizing.
Fixed card optimization.
Extra variables are now stored in nops.
Simplify id generation for ast constraints.
Fixed card optimization.