Maat Assignment Basic Static Analysis