Bugfixing in TestingFramework/SpecsFor.cs