AddKnownsToLinearSystem needs to be tested