Fix the bug of is_manipulator_scheduled(); no longer clear the scheduled flag
even when the same manipulator is recursively invoked.