ImplicitVariables: Basic tests pass (existing tests also tested rigidity)