finished transform function for field assignment
clarified soundness for commands, changed bcsatisfy