package ex2;

import ch.usi.dag.disl.annotation.GuardMethod;
import ch.usi.dag.disl.staticcontext.ClassStaticContext;

public class IsNotTriviallyThreadGuard {

    @GuardMethod
    public static boolean isNotTriviallyThread(final ClassStaticContext csc) {
        return !IsTriviallyThreadGuard.isThread(csc);
    }
}