PropCheck.TargetedPBT.maximize

You're seeing just the macro maximize, go back to PropCheck.TargetedPBT module for more information.
Link to this macro

maximize(fitness)

View Source (macro)

This macro tells the search strategy to maximize the value fitness.