Using StatementList where possible
Adding (debug) union-BType