Fix out-of-tree build.
Fix SafeInt.
Use ASLBuilder instead of ExprBuilder in problem test.