Support crucible_global on rhs of crucible_points_to preconds in overrides.
Support crucible_global on rhs of crucible_points_to preconds in overrides.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script