Uncomment the problem-demonstrating tests.
Added Open implicit parameter to solve the divergent implicit problem
with InnerConstraint.