Fixed FaukonTests.cs. Added default list of random values for all tests in the class.
Fixed ArticulatedPropositionTests.cs.