trlc
trlc copied to clipboard
linter should not include frozen components in counter-example