Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption (Logical Methods in Computer Science, 2022)