Make Problem work with different ASL types
Fix parsing options