remove 'forwardcopy' predicate.

    It just checks if a <= b; just inline the check.