fixed variety of bugs related to consistency of symbolic rules and initializing vars to default values
updating test build script for immutability tests