:- use_module(library(chr)).
:- chr_constraint mut/1.

/* Empty set of rules for mutability pass */