A little confused? I use assumeunique boolean variable for two cases. Why not covered for assumunique (non-expression)?