enable the specification of tactics to be used for a given ACSL block specification