niti: fix the way nullable attributes are initialized

Signed-off-by: Jean Privat <jean@pryen.org>
tests: base_attg_gen.nit force live Int

Signed-off-by: Jean Privat <jean@pryen.org>
tests: avoid potential infinite types with base_formal_isa

Signed-off-by: Jean Privat <jean@pryen.org>
metrics: rta, does not refine RapidTypeAnalysis

Signed-off-by: Jean Privat <jean@pryen.org>
metrics: rta shows live classes and methods. hide customized_methoddefs

Signed-off-by: Jean Privat <jean@pryen.org>
metrics: rta count dead method definitions of live methods

Signed-off-by: Jean Privat <jean@pryen.org>
modelbuilder: abstractize some private methods

Signed-off-by: Jean Privat <jean@pryen.org>
tests: update sav/nitmetrics
model: add MMethodDef::is_abstract

Signed-off-by: Jean Privat <jean@pryen.org>
rta: new RTA without customization nor heterogeneous generics

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add more bast_attr_init_val*

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add sav/base_gen_reassign*

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add sav/base_isa_formal_type.res

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add sav/base_vararg2_alt*

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add sav/error_redef4_base.res

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add test_opts

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add some sav/*.res file for lib/*.nit libraries

Signed-off-by: Jean Privat <jean@pryen.org>
Merge branch 'rta'