Learning General and Correct Procedural Knowledge in a Cognitive Architecture