Generating tests for Sylvester