Documentation for Language.SMTLib2.Pipe
Boolector can only do bitshifts with certain argument sizes
Add line numbers to debug output