PropCheck.TargetedPBT.minimize

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

minimize(fitness)

View Source (macro)

This macro tells the search strategy to minimize the value fitness and is equivalent to maximize(-fitness).