Use attStmt.alg in Safety Net and Packed Full