mostVariable matching problem fixed. Fixes #24