[nr] Implement explicit default values for attributes
[nr] Implement automatically_smt blocks