tests: inmprove base_as_notnull*.nit and update tests